| Name | Version | Summary | date |
| license-expression |
30.4.1 |
license-expression is a comprehensive utility library to parse, compare, simplify and normalize license expressions (such as SPDX license expressions) using boolean logic. |
2025-01-14 05:11:39 |
| balg |
0.0.6 |
A boolean algebra toolkit to evaluate expressions, truth tables, and produce logic diagrams |
2024-09-08 18:19:13 |
| adze |
0.2 |
Polyhedron clipping and antialiased voxelization |
2024-08-01 05:41:20 |
| veribool |
0.0.0 |
Verify various properties of boolean expressions using a concise DSL. |
2024-07-22 07:32:14 |
| monolearn |
0.1.1 |
Learning monotone Boolean functions |
2024-07-03 08:27:56 |